Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
551	Specialization Tools and Techniques for Systematic Optimization of System Software DYLAN MCNAMEE, JONATHAN WALPOLE, CALTON PU, CRISPIN COWAN, CHARLES KRASIC, ASHVIN GOEL, and PERRY WAGLE Oregon Graduate Institute of Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2004-09-04 03:34:36 Generic programming C++ Predicate logic Predicate Semantics Template Partial evaluation Specialization Software engineering Logic Computing
552	Five Questions on Epistemic Logic John F. Sowa This is a preprint of Chapter 23 in Epistemic Logic: 5 Questions, edited by Vincent F. Hendricks & Olivier Roy, Automatic Press, New York, 2010, pp[removed]Why were you Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2010-11-10 10:18:59 Modal logic Philosophical logic Charles Sanders Peirce Logicians Existential graph Epistemic modal logic Kripke semantics Deontic logic Jaakko Hintikka Logic Philosophy Mathematical logic
553	Number Agreement with Weak Quantifiers in Basque Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:33 Semantics Parts of speech Predicate logic Predicate Cumulativity Noun phrase Noun Function Basque language Linguistics Syntax Grammar
554	Microsoft Word - ANT 2350.doc Add to Reading List Source URL: arts.cuhk.edu.hk Language: English - Date: 2014-09-02 21:50:57 Logic Anthropology Meaning Philosophy of language Semantics Culture Sociocultural evolution Roy Baumeister Truth Philosophical logic Philosophy Analytic philosophy
555	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science, University of Bologna [removed], [removed] Abstract. The disambiguation appro Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-20 06:44:53 Interpretation Philosophy of language Philosophy of mind Semantics Symbol Structure Linguistics Golden ratio base Linear temporal logic Model theory Mathematics Logic
556	Pursuing the Goal of Language Understanding Arun Majumdar, John Sowa, John Stewart VivoMind Intelligence, Inc. Abstract. No human being can understand every text or dialog in his or her native language, and no one should Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2008-06-14 08:44:36 Charles Sanders Peirce Philosophy Philosophical logic Philosophy of language Semantics Semiotic elements and classes of signs Semeiotic Sign Representation Logic Semiotics Science
557	Interpreting Japanese Head-Internal Relative Clauses Michael Yoshitaka Erlewine and Isaac Gould Massachusetts Institute of Technology 1. Introduction* Japanese has both head-external and head-internal relative clauses (H Add to Reading List Source URL: www.lingref.com Language: English - Date: 2014-06-21 13:39:20 Semantics Formal languages Logical syntax Grammar Interpretation Proposition Definite description Function Well-formed formula Logic Linguistics Philosophy of language
558	UITP[removed]A User Interface for a Mathematical System that Allows Ambiguous Formulae Claudio Sacerdoti Coen 1,2 Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-01-19 05:48:12 Mathematical logic Model theory Predicate logic Formal languages Interpretation Ambiguity Mathematical notation Formal proof ALGOL 68 Logic Semantics Mathematics
559	Making Thoughts Explicit: advantages and limitations of formal expression Francis HEYLIGHEN* ABSTRACT. Testing the validity of knowledge requires formal expression of that knowledge. Formality of an Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:38 Logical syntax Semantics Philosophical logic Philosophy of language Expression Regular expression Meaning Fuzzy logic Formal proof Logic Formal languages Mathematics
560	Towards a Study of Meta-Predicate Semantics Paulo Moura Dep. of Computer Science, Univ. of Beira Interior, Portugal Center for Research in Advanced Computing Systems Add to Reading List Source URL: logtalk.org Language: English - Date: 2010-07-14 20:23:31 Prolog Predicate Predicate logic Logtalk Logic Software engineering Programming language theory

UPDATE